منابع مشابه
Generalized DEL-Sequents
Let us consider a sequence of formulas providing partial information about an initial situation, about a set of events occurring sequentially in this situation, and about the resulting situation after the occurrence of each event. From this whole sequence, we want to infer more information, either about the initial situation, or about one of the events, or about the resulting situation after on...
متن کاملTableau Method and NEXPTIME-Completeness of DEL-Sequents
Dynamic Epistemic Logic (DEL) deals with the representation of situations in a multi-agent and dynamic setting. It can express in a uniform way statements about: (i) what is true about an initial situation (ii) what is true about an event occurring in this situation (iii) what is true about the resulting situation after the event has occurred. After proving that what we can infer about (ii) giv...
متن کاملNested Sequents
We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, such as the display calculus and labelled sequents, nested sequents stay inside the modal language and allow for proof systems which enjoy the subformula property in the literal sense. In the first part we study a system...
متن کاملFeasible interpolation for lifted sequents
The idea of feasible interpolation for propositional proof systems is to derive lower bounds for propositional proofs using circuit lower bounds for Craig’s interpolant. However, as far as we know, proof systems such as constant-depth Frege do not admit feasible interpolation. We extend the notion of feasible interpolation so that it is admitted by a number of treelike propositional proof syste...
متن کاملSequents for Non-wellfounded Mereology
The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2011
ISSN: 1166-3081,1958-5780
DOI: 10.3166/jancl.21.289-321